verifiable hierarchical protocols with network invariants o published presentations and documents on DocSlides.